Explanation of Terminological Reasoning: A Preliminary Report
نویسندگان
چکیده
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The new services originate in the development of the DICE terminology where the lack of appropriate debugging or explanation facilities hindered a more efficient (and possibly more concise) construction of a corresponding DL TBox. We discuss a number of alternative methods to explain incoherence of TBoxes, unsatisfiability of concepts and concept subsumption.
منابع مشابه
Terminological Logic Involving Time and Evolution: A Preliminary Report
Although terminological logics as well as temporal reasoning has received considerable attention in the knowledge representation community in the last years, few attempts have been made to integrate those fields. We study the combination of the temporal logic LITE and a terminological logic to obtain a temporal terminological logic. We emphasize defining a terminological logic (T-LITE) where th...
متن کاملTerminological Reasoning is Inherently Intractable
Computational tractability has been a major concern in the area of termi-nological knowledge representation and reasoning. However, all analyses of the computational complexity of terminological reasoning are based on the hidden assumption that subsumption in terminologies reduces to subsumption of concept descriptions without a signiicant increase in computational complexity. In this paper it ...
متن کاملComputational Complexity of Terminological Reasoning in BACK Published in Arti cial Intelligence
Terminological reasoning is a mode of reasoning all hybrid knowledge representation systems based on KL ONE rely on After a short introduc tion of what terminological reasoning amounts to it is proven that a com plete inference algorithm for the BACK system would be computationally intractable Interestingly this result also applies to the KANDOR system which had been conjectured to realize comp...
متن کاملComplexity of Terminological Reasoning 3 Property possession
Terminological reasoning is a mode of reasoning all hybrid knowledge representation systems based on KL-ONE rely on. After a short introduction of what terminological reasoning amounts to, it is proven that a complete inference algorithm for the BACK system would be computationally intractable. Interestingly, this result also applies to the KANDOR system, which had been conjectured to realize c...
متن کاملA Terminological Default Logic
Terminological Logics are knowledge representation formalisms of considerable applicative interest, as they are speci cally oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. Although the eld of terminological logics has lately been an active area of investigation, few researchers (if any) have addressed the problem of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003